/**
* @author AlbertDarren
* @contact 2563491540@qq.com
*/
#include <iostream>

using namespace std;

int main_17()
{
    int n;
    scanf("%d",&n);
    printf("%d\n",n*(n+1)/2);
	return 0;
}
